💻 Programming languages - emschwartz · Scour

Introduction to Compilers and Language Design ⚙️Language Runtimes

dthain.github.io·8h·

Programming languages for AI 🔁Finite Automata

blog.ploeh.dk·3d·

Programming Languages and Type Safety in the Era of LLMs 🪄Prompt Engineering

thecodedmessage.com·1d·

PEP 8 – Style Guide for Python Code 🗂️Code Indexing

peps.python.org·1h·

A Graded Modal Dependent Type Theory with Erasure, Formalized 🧩Types

arxiv.org·1d·

The Type Theorists need to take a look at Zig 🧩Types

pure-systems.org·6d·Hacker News·

Rubysyn: Clarifying Ruby's Syntax and Semantics ⚙Rust Compiler Internals

github.com·1d·Lobsters, Hacker News·

Simple Top-Down Parsing in Python 🔤Tokenization

web.archive.org·1d·r/programming·

Rust's next-generation trait solver ⚙Rust Compiler Internals

lwn.net·3d·Lobsters, Hacker News, r/programming·

How we chose Positron’s Python type checker 🔒Borrow Checker

positron.posit.co·1d·Hacker News·

The architectural trade-offs of AI code generation 💻Coding Agents

aha.io·2d·Hacker News·

How to Build an ML Framework in Rust, from Scratch, in a Weekend 🕯️Candle

erikkaum.com·4d·Hacker News·

Garbage Collection: From First Principles to Modern Collectors in Java, Go and Python ⚙️Language Runtimes

shbhmrzd.github.io·1d·Hacker News, r/golang, r/programming·

Learning by Building, Part 2: Caltrain Bot, SQL with LLMs, and DSPy 👨‍💻AI Coding

dima.us.kg·6d·

tc39/proposal-pipeline-operator: A proposal for adding a useful pipe operator to JavaScript. 📘Typescript

github.com·2d·Hacker News·

Function Calling Harness: Success Rate From 6.75% to 100%, by compiler skills 🔄Serde

typia.io·1d·Hacker News·

A General Theory of Propositional Modal Bundled Modalities 🔁Finite Automata

arxiv.org·3d·

Predicting Program Correctness By Ensemble Semantic Entropy 🛡️AI Safety

arxiv.org·2d·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM ⚙Rust Compiler Internals

arxiv.org·2d·

Rust's next-generation trait solver ⚙Rust Compiler Internals

lwn.net

·3d·

Loading more...